121![How to miscompile programs with “benign” data races Hans-J. Boehm HP Laboratories Abstract Several prior research contributions [15, 9] have explored How to miscompile programs with “benign” data races Hans-J. Boehm HP Laboratories Abstract Several prior research contributions [15, 9] have explored](https://www.pdfsearch.io/img/b809d51040904fe89d91373cf48d84c7.jpg) | Add to Reading ListSource URL: www.hboehm.infoLanguage: English - Date: 2014-02-06 19:37:25
|
---|
122![arXiv:1411.4555v2 [cs.CV] 20 AprShow and Tell: A Neural Image Caption Generator Oriol Vinyals Google arXiv:1411.4555v2 [cs.CV] 20 AprShow and Tell: A Neural Image Caption Generator Oriol Vinyals Google](https://www.pdfsearch.io/img/0181e238f6f8f14b04a3d2c16ea3f48d.jpg) | Add to Reading ListSource URL: arxiv.orgLanguage: English - Date: 2015-04-21 20:37:35
|
---|
123![The C11 and C++11 Concurrency Model Mark John Batty Wolfson College University of Cambridge Saturday 29th November, 2014 The C11 and C++11 Concurrency Model Mark John Batty Wolfson College University of Cambridge Saturday 29th November, 2014](https://www.pdfsearch.io/img/449af1a708be006d380d2d2fb500fb48.jpg) | Add to Reading ListSource URL: www.sigplan.orgLanguage: English - Date: 2016-02-02 16:06:41
|
---|
124![In memory of Thea St.Omer May 12, 1973 — April 3, 2015 Filmmaker, writer, artist, shopkeeper, teacher. A model of kindness, empathy and creativity. In memory of Thea St.Omer May 12, 1973 — April 3, 2015 Filmmaker, writer, artist, shopkeeper, teacher. A model of kindness, empathy and creativity.](https://www.pdfsearch.io/img/f797775efb9c6614cb525784f9252ec6.jpg) | Add to Reading ListSource URL: www.posterproject.org- Date: 2015-07-20 16:01:43
|
---|
125![FAU Undergraduate Research Grant Proposal <student name> Undergraduate Research Grant Proposal A. Project Description Objective of research: The objective of this study is to determine if hippocampal dopamine D1 recepto FAU Undergraduate Research Grant Proposal <student name> Undergraduate Research Grant Proposal A. Project Description Objective of research: The objective of this study is to determine if hippocampal dopamine D1 recepto](https://www.pdfsearch.io/img/c8417a2f9736ad018392d77f475fd8a1.jpg) | Add to Reading ListSource URL: www.fau.eduLanguage: English - Date: 2015-07-16 13:25:21
|
---|
126![An Axiomatic Memory Model for POWER Multiprocessors Sela Mador-Haim1 Luc Maranget2 Susmit Sarkar3 Kayvan Memarian3 Jade Alglave4 Scott Owens3 Rajeev Alur1 Milo M.K. Martin1 Peter Sewell3 Derek Williams5 1 An Axiomatic Memory Model for POWER Multiprocessors Sela Mador-Haim1 Luc Maranget2 Susmit Sarkar3 Kayvan Memarian3 Jade Alglave4 Scott Owens3 Rajeev Alur1 Milo M.K. Martin1 Peter Sewell3 Derek Williams5 1](https://www.pdfsearch.io/img/bc6f4731a463c52369adaed474153a72.jpg) | Add to Reading ListSource URL: www0.cs.ucl.ac.ukLanguage: English - Date: 2012-04-30 12:09:43
|
---|
127![A statistical analysis of memory CD8 T cell differentiation: An application of a hierarchical state space model to a short time course microarray experiment A statistical analysis of memory CD8 T cell differentiation: An application of a hierarchical state space model to a short time course microarray experiment](https://www.pdfsearch.io/img/0e41a79a7102c68954d04b8b29f96a1b.jpg) | Add to Reading ListSource URL: pages.stat.wisc.eduLanguage: English - Date: 2013-01-03 18:16:34
|
---|
128![Formal verification of a C-like memory model and its uses for verifying program transformations Xavier Leroy () INRIA Paris-Rocquencourt Sandrine Blazy () Formal verification of a C-like memory model and its uses for verifying program transformations Xavier Leroy () INRIA Paris-Rocquencourt Sandrine Blazy ()](https://www.pdfsearch.io/img/333185ac73b21332a407a2c946f8fc1e.jpg) | Add to Reading ListSource URL: www.irisa.frLanguage: English - Date: 2010-05-03 12:09:18
|
---|
129![Transactional Memory in C++ Hans-J. Boehm Google and ISO C++ Concurrency Study Group chair Transactional Memory in C++ Hans-J. Boehm Google and ISO C++ Concurrency Study Group chair](https://www.pdfsearch.io/img/6c76740538e4e5cc2a4e0b56cdf69a54.jpg) | Add to Reading ListSource URL: www.hboehm.infoLanguage: English - Date: 2015-08-28 00:01:08
|
---|
130![Validating XML Documents in the Streaming Model with External Memory ∗ Christian Konrad1 and Fr´ed´eric Magniez2 1 Univ Paris Diderot, Sorbonne Paris-Cit´e, LIAFA, CNRS, 75205 Paris, France, Validating XML Documents in the Streaming Model with External Memory ∗ Christian Konrad1 and Fr´ed´eric Magniez2 1 Univ Paris Diderot, Sorbonne Paris-Cit´e, LIAFA, CNRS, 75205 Paris, France,](https://www.pdfsearch.io/img/0a7734e9aee415aea36e33685837217c.jpg) | Add to Reading ListSource URL: www.christiankonrad.deLanguage: English - Date: 2015-06-16 06:49:14
|
---|